body {
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
    font-size: 12px;
}

g text {
    pointer-events: none;
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

g.node:hover {
    fill: white;
    font-weight: bold;
}

.className {
    color: #990000;
}

.justificationsTitle {
   font-weight: bold;
   font-size: 20px;
}

div.justifications {
    font-size: 14px;
}

span.button {
    color: darkblue;
    text-decoration: underline; 
}

span.button span {
    cursor: default;
}

span.button.disabled {
    color: gray;
    pointer-events: none;
}

select.disabled {
    pointer-events: none;
    opacity: 0.5;
}
span.button:hover {
    color:red;
}

div#space{
    width:300px;
}

div#graph{
    padding-top: 75px;
    padding-bottom:150px;
    padding-right:250px;
}

div#nodeData {
    position: fixed;
    display: none;
    width: 120px;
    border: 2px beige solid ;
    background-color: #E0E0EB;
    z-index: 100;
    top: auto;
    right: auto;
    bottom: 10px;
    left: 10px;
    margin-left: 0px;
    margin-top: 0px;
}



div#keys {
    max-width: 200px;
    padding: 8px;
    position:fixed;
    bottom:10px;
    right:10px;
    font-size: 10px;
    background-color: beige;
    border: 2px black solid;
}

div#controlPanel {
    position:fixed;
    font-size: 12px;
    top: 10px;
    left: 10px;
    background-color: beige;
}

div#title {
    padding: 5px;
    background-color: #FDEBC9;
    border-left: 2px beige solid ;
    border-top: 2px beige solid;
    border-right: 2px beige solid;
}

div#title .appName {
    font-size: 18px;
    padding-right: 0.5em;
}

div#controls td {
    background-color: #E0E0EB;
    padding-left: 5px;
    padding-right: 5px;
}

select {
    font-size: 12px;
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
}

div#help {
    width: 730px;
    padding-right: 10px;
    padding-left:10px;
}

div#help ul {
   margin-left: 0px;
   padding-left: 2em;
}

div.classList {
    position: absolute;
    left: 0px;
    top: 64px;
    overflow: auto;
    max-height: 500px;
    width: 200px;
    padding: 10px;
    border: 2px beige solid ;
    background-color: #E0E0EB;
    font-size: 12px;
    z-index: 100;
    margin-left: 0px;
    margin-top: 0px;
}

div.classList ul {
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    list-style: none;
    padding-left: 1em;
    text-indent: -1em;
}

g.highlightArrow path {
    stroke-dasharray: 5,5;
}



.countable ellipse, .countable rect {fill: #B0B0B0;}
.uncountableMeager ellipse, .uncountableMeager rect {fill: #DBBB7C;}
.uncountableComeager ellipse, .uncountableComeager rect {fill: #D3665C;}
.uncountableUnknown ellipse {fill: url(#uncountableUnknown)}
.unknownMeager ellipse {fill: url(#unknownMeager)}
.unknownUnknown ellipse {fill: url(#unknownUnknown)}

.level0 ellipse, .level0 rect {fill: #B0B0B0;}
.level1 ellipse, .level1 rect {fill: #E69FB8;}
.level2 ellipse, .level2 rect {fill: #A487C5;}
.level3 ellipse, .level3 rect {fill: #79A4DD;}
.level4 ellipse, .level4 rect {fill: #72BB94;}
    .level0-1 ellipse {fill: url(#level0-1)}
    .level0-2 ellipse {fill: url(#level0-2)}
    .level0-3 ellipse {fill: url(#level0-3)}
    .level0-4 ellipse {fill: url(#level0-4)}
    .level1-2 ellipse {fill: url(#level1-2)}
    .level1-3 ellipse {fill: url(#level1-3)}
    .level1-4 ellipse {fill: url(#level1-4)}
    .level2-3 ellipse {fill: url(#level2-3)}
    .level2-4 ellipse {fill: url(#level2-4)}
    .level3-4 ellipse {fill: url(#level3-4)}
.above ellipse, .above rect {fill: #F02F2F;}
.eqAbove ellipse {fill: url(#eqAbove);}
.below ellipse, .below rect {fill: #3F95EB;}
.eqBelow ellipse {fill: url(#eqBelow);}
.comp ellipse, .comp rect {fill: #9D38DF;}
.inc ellipse, .inc rect {fill: lightgray;}
.eqComp ellipse {fill: url(#eqComp);}
.aboveComp ellipse {fill: url(#aboveComp);}
.belowComp ellipse {fill: url(#belowComp);}
.belowInc ellipse {fill: url(#belowInc);}
.aboveInc ellipse {fill: url(#aboveInc);}
.eqInc ellipse {fill: url(#eqInc);}
.compInc ellipse {fill: url(#compInc);}

.notBetw ellipse, .notBetw rect {fill: #B0B0B0;}
.betw ellipse, .betw rect {fill: lightcoral;}
.possiblyBetw ellipse {fill: url(#possiblyBetw);}
.selected ellipse, .selected rect {fill: #FCDC31;}

